From: Florian Müllner Date: Wed, 20 Dec 2023 13:32:31 +0000 (+0100) Subject: extensions-app: Overhaul search X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~281^2~2^2~213 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=1667b36abd7075119101ed29b74e9dc1c9eaff74;p=gnome-shell.git extensions-app: Overhaul search Instead of awkwardly filtering two different lists, use a separate search page that filters a single list, similar to what libadwaita does for preference windows. Part-of: --- diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index ba8470ce3..51ce6db3f 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -49,6 +49,10 @@ + + sortModel + searchFilter +